SAT Geometry